TAGs: basic identities